Extension Field as Vector Space
Theorem
Given an extension field
This result is extremely simple to prove, however it is very useful in the theory of field extensions, such as through explicitly finding a basis for an extension field. It also allows us to talk about the dimension of the field as a vector space.
Proof
Clearly
Then, all other field axioms hold because their equivalents hold for elements in